Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test
نویسندگان
چکیده
Özet. Otomatik birim testler sayesinde programlar n kapsama oran n artt rmak mümkündür. Konkolik test metodu (concolic testing) otomatik birim test yarat m için kullan lan bir yaz l m testi tekni§idir. Ancak, yol patlamas (path explosion) ve k s t çözümlerinin (constraint solving) yaratt § darbo§az nedeniyle, ölçeklenebilir bir otomatik konkolik testçi geli3tirmek zor olmu3tur. Bu tekni§i ölçeklenebilir hale getirebilmek için bu makalede k s t çözücüye daha çok ama daha küçük sorgular gönderilerek çözme üzerindeki yükü ha etecek bir yol önerilmi3tir. Yapt § m z deneyler altta yatan k s t çözücüye yap lan sorgu uzunluklar n dü3ürerek bu hedefe yakla3 ld § n gösteriyor.
منابع مشابه
Weight-modification trials in older adults: what should the outcome measure be?
BACKGROUND: Overweight older adults are often counseled to lose weight, even though there is little evidence of excess mortality in that age group. Overweight and underweight may be more associated with health status than with mortality, but few clinical trials of any kind have been based on maximizing years of healthy life (YHL), as opposed to years of life (YOL). OBJECTIVE: This paper examine...
متن کاملArdışıl Devrelerin Yazılım ile Model Tabanlı Sınanması
Özet. Bu çalışmanın amacı, ardışıl devrelerin (sequential circuits) ölçeklenebilir düzenli ifadeler (regular expression) ile modellenmesi ve bu ölçeklenebilir model aracılığı ile sınanmasıdır (testing). Sınama işlemi için model tabanlı sınama dizileri (test sequence) kullanılacaktır. Devrenin modellenmesi için hedeflenen hatalar aracılığı ile durum uzayı (state space) sınırlandırılmaktadır. Böy...
متن کاملChondroid Syringoma: A case with unusual localization Chondroid Syringoma: Nadir lokalizasyonlu bir olgu
Chondroid syringoma miks kutanöz tümör olarak adlandırılan benign karakterde bir cilt tümörüdür. Chondroid syringoma klinik olarak yavaş büyüyen, ağrısız, ülsere olmayan, subkutanöz veya intrakutanöz 0,5 ila 3 cm arasında boyutlara sahip nodul şeklinde görülür. Chondroid syringoma genellikle baş boyun bölgesinde orta yaş ve yaşlı erkeklerde görülür. Nadir olarak gövde, sırt, ekstremiteler ve ge...
متن کاملImmunocytochemical demonstration of alpha-tubulin modification during axonal maturation in the cerebellar cortex
Previous light microscopic immunocytochemical studies using two monoclonal antibodies that recognise alpha-tubulin (YOL/34 and YL1/2) but differ in their isotypic specificity have shown that the unmyelinated parallel fiber axons in the cerebellar cortex are labeled with only one of the antibodies (YOL/34). We now show that at 10 d postnatally the parallel fibers are labeled with both antibodies...
متن کاملPathogenesis of renal calculi Renal taş hastalığı patogenezi
Taş hastalığının, kemik, böbrek ve barsaklar arasında etkileşimi içeren poligenik ve çok faktörlü karakterine bağlı olarak taş oluşumu karışık bir süreçtir. Son yıllarda böbrek taşı oluşumuna yol açan tam sürecin belirlenmesi için önemli gelişmeler elde edilmiş olmasına karşın, taş oluşumu patogenezine ilişkin halen çok sayıda cevaplanmamış soru bulunmaktadır. Farklı taş fenotipleri bulunmaktad...
متن کامل